introduction to real analysis bartle solutions